1. The “puzzle” Physical objects are coloured: roses are red, violets are blue, and so forth. In particular, physical objects have fine-grained shades of colour: a certain chip, we can suppose, is true blue (unique, or pure blue). The following sort of scenario is commonplace. The chip looks true blue to John; in the same (ordinary) viewing conditions it looks (slightly) greenish-blue to Jane. Both John and Jane are “normal” perceivers. Now, nothing can be both true blue and greenish-blue; since (...) the chip is true blue, it is not greenish-blue. Hence Jane, unlike John, is misperceiving the chip. Generalizing, the conclusion is that there is widespread misperception of fine-grained shades. According to Tye (2006), and Cohen, Hardin, and McLaughlin (2006), the previous paragraph amounts to a paradox: an apparently unacceptable conclusion has been drawn from apparently acceptable premises via apparently acceptable reasoning. (See also Hawthorne and Kovakovich 2006, 180-1.) Tye swallows the conclusion, aided by a dose of evolutionary speculation. Hardin (1988), on the other hand, rejects the first premise, and denies that physical objects are coloured. Cohen (2004) and McLaughlin (2003) claim that both Jane and John have the colour of the chip right. Our opening paragraph concealed a crucial parameter. In fact, the chip looks greenish-blue-relative-to- circumstances-C to Jane, and true-blue-relative-to-circumstances-C* to John, and the chip has both these relativized colours.1 All this ingenious philosophizing would be in vain, of course, if the conclusion of the opening paragraph were not puzzling or problematic. So, why is it supposed to be? According to Tye, the conclusion is puzzling because John and Jane are both “normal perceivers” (xx). He seems to think that it is (prima facie) plausible to assume.. (shrink)

We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.

We carry out a systematic study of decidability for theories of real vector spaces, inner product spaces, and Hilbert spaces and of normed spaces, Banach spaces and metric spaces, all formalized using a 2-sorted first-order language. The theories for list turn out to be decidable while the theories for list are not even arithmetical: the theory of 2-dimensional Banach spaces, for example, has the same many-one degree as the set of truths of second-order arithmetic.We find that the purely universal (...) and purely existential fragments of the theory of normed spaces are decidable, as is the ∀∃ fragment of the theory of metric spaces. These results are sharp of their type: reductions of Hilbertʼs 10th problem show that the ∃∀ fragments for metric and normed spaces and the ∀∃ fragment for normed spaces are all undecidable. (shrink)

Starting with a Leninist thesis on the identity of dialectic and logic, the author concludes that the only authentic logic is dialectico-materialistic. Lenin predominates; though such logicians as Hilbert, Russell, and Carnap are mentioned, they are not seriously considered.--R. D. G.

A Hilbert-style version of an implicational logic can be represented by a set of axiom schemes and modus ponens or by the corresponding axioms, modus ponens and substitution. Certain logics, for example the intuitionistic implicational logic, can also be represented by axioms and the rule of condensed detachment, which combines modus ponens with a minimal form of substitution. Such logics, for example intuitionistic implicational logic, are said to be D-complete. For certain weaker logics, the version based on condensed detachment (...) and axioms (the condensed version of the logic) is weaker than the original. In this paper we prove that the relevant logic T→, and any logic of which this is a sublogic, is D-complete. (shrink)

"By combining recent advances in the physical sciences with some of the novel ideas, techniques, and data of modern biology, this book attempts to achieve a new and different kind of evolutionary synthesis. I found it to be challenging, fascinating, infuriating, and provocative, but certainly not dull."--James H, Brown, University of New Mexico "This book is unquestionably mandatory reading not only for every living biologist but for generations of biologists to come."--Jack P. Hailman, Animal Behaviour , review of the first (...) edition "An important contribution to modern evolutionary thinking. It fortifies the place of Evolutionary Theory among the other well-established natural laws."--R.Gessink, TAXON. (shrink)

Offers a comprehensive nonmathematical treatment regarding the design and analysis of experiments, focusing on basic concepts rather than calculation of technical details. Much of the discussion is in terms of examples drawn from numerous fields of applications. Subjects include the justification and practical difficulties of randomization, various factors occurring in factorial experiments, selecting the size of an experiments, different purposes for which observations may be made and much more.

For the probabilistic description of all the joint von Neumann measurements on a D-dimensional quantum system, we present the specific example of a context-invariant quasi hidden variable model, proved in Loubenets to exist for each Hilbert space. In this model, a quantum observable X is represented by a variety of random variables satisfying the functional condition required in quantum foundations but, in contrast to a contextual model, each of these random variables equivalently models X under all joint von Neumann (...) measurements, regardless of their contexts. This, in particular, implies the specific local qHV model for an N-qudit state and allows us to derive the new exact upper bound on the maximal violation of 2\2-setting Bell-type inequalities of any type under N-partite joint von Neumann measurements on an N-qudit state. For d = 2, this new upper bound coincides with the maximal violation by an N-qubit state of the Mermin–Klyshko inequality. Based on our results, we discuss the conceptual and mathematical advantages of context-invariant and local qHV modelling. (shrink)

Currently, an emphasis is being placed on the integration of ethical issues into the business curriculum. This paper investigates the viability of using student group interaction to induce an upward movement in the stages of moral development as advanced by Kohlberg. The results of a classroom experiment using graduate business law students suggest that formulating groups that mix stages of moral development can provide a robust environment for upward movement. In addition, the results suggest strategies for formulating effective groups, based (...) upon entry levels as measured by the Defining Issues Test. (shrink)

In the strong or radical sense, the creation of a work of art succeeds, as Kant said, in exhibiting originality that is exemplary and unteachable. The creative artist generates new and valuable outcomes. He or she accomplishes this in a way that is neither predictable before it ..

Much effort and many resources have been expended in enacting smoking bans for private businesses catering to adult-only clientele. Although the arguments in favor of bans leave much to be desired, many people believe that banning smoking in the hospitality industry is justified.What is puzzling is the lack of attention on banning smoking around children in cars, houses, and other private property. After all, if such prohibitions are justified for autonomous adults, then they must be for non-autonomous minors as well. (...) A good case can be made out for banning smoking around children in the best interests of their health. (shrink)